#ifndef __STDIO_KERNAL_H
#define __STDIO_KERNAL_H
void printk(const char* fmt,...);
#endif
